141. On Object-Oriented Database Systems
پدیدآورنده : edited by Klaus R. Dittrich, Umeshwar Dayal, Alejandro P. Buchmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Database management.
رده :
QA76
.
9
.
D3
E358
1991
142. Optimisation par colonies de fourmis.English
پدیدآورنده : Christine Solnon
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Constraint programming )Computer science(,Mathematical optimization,Swarm intelligence,Ant algorithms
رده :
QA
76
,.
612
.
S66A5
2010
143. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
144. Parallel Programming with Co-Arrays
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers),A Multifrontal Solver.,COMPUTERS-- Programming Languages-- General.,Execution Control.,Linear Algebra.,MATHEMATICS-- Number Systems.,OBJECT-ORIENTED DESIGN.,Parallel processing (Electronic computers),THE COARRAY PROGRAMMING MODEL.
رده :
QA76
.
642
.
N867
2019
145. Parallel and Constraint Logic Programming
پدیدآورنده : by Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
146. Parallel problem solving from nature - PPSN VI ;
پدیدآورنده : Marc Schoenauer [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
رده :
QA76
.
58
.
C69
2000
147. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
148. Practical aspects of declarative languages :
پدیدآورنده : Ricardo Rocha, John Launchbury (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Declarative programming languages, Congresses
رده :
QA76
.
615
.
P33
2011
149. Practical aspects of declarative languages :
پدیدآورنده : PADL 2000, Boston, MA, USA, January 17- 18, 2000. Enrico Pontelli ; Vítor Santos Costa (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : ;Deklarative Programmiersprache,Boston Mass., 2000>,Deklarative Programmiersprache.
150. Practical aspects of declarative languages :
پدیدآورنده : José Júlio Alferes, Moa Johansson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
رده :
QA76
.
76
.
C65
151. Principles and Practice of Constraint Programming
پدیدآورنده : \ Gilles Pesant (ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
رده :
QA
76
.
612
.
C7P7
2015
E-Book
,
152. Principles and Practice of Constraint Programming
پدیدآورنده : / SullivanبBarry O
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
153. Principles and Practice of Constraint Programming
پدیدآورنده : / Gilles Pesant
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
154. Principles and Practice of Constraint Programming
پدیدآورنده : / Christian Schulte
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
155. Principles and Practice of Constraint Programming
پدیدآورنده : / Michela Milano
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
156. Principles and Practice of Constraint Programming :
پدیدآورنده : edited by Christian Schulte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
157. Principles and Practice of Constraint Programming CP 2004 :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer Appl. in Administrative Data Processing.,Computer science.,Information systems.,Logic design.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer science.,Logic design.
رده :
QA76
.
6-76
.
66
158. Principles and Practice of Constraint Programming -- CP '95 :
پدیدآورنده : edited by Ugo Montanari, Francesca Rossi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.,Logic design.
159. Principles and practice of Constraint Programming-CP'99 : 5th International Conference, CP99, Alexandria, VA, USA, October 11-14, 1999 :proceedings
پدیدآورنده : Joxan Jaffar, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1713